<html>
  <head>
    <title>$getVar("pageTitle")</title>
    <script src="js/prototype.js" type="text/javascript"></script>
    <script src="js/scritaculous.js" type="text/javascript"></script>
    <script src="logging.js" type="text/javascript"></script>
    <script src="pennave.js" type="text/javascript"></script>
    <link rel="stylesheet" type="text/css" href="logging.css"></script>
    <link rel="stylesheet" type="text/css" href="pennave.css"></script>
  </head>
  <body>
